To solve the Oracle problem of method sequence call in object-oriented software testing, a method of metamorphic relations constructing for object-oriented software testing based on algebraic specification was proposed. Firstly, metamorphic relations constructing criteria for object-oriented testing was defined based on the algebraic specification. Then the normal form metamorphic relations constructing method in the Generating a Finite number of Test cases (GFT) algorithm was improved according to these criteria. Finally, the improved method was verified through constructing IntStack class metamorphic relations. The experimental results showed that, compared with the normal form metamorphic relations constructing method, the metamorphic relations redundancy was reduced by 66% at the same mutation score. The results indicate that the new method has a low metamorphic relations redundancy and improves the efficiency of software testing.

The physical condition of miners escaping from a mine fire in the harmful circumstance is critical to the success of escape. This paper proposed the concept of health degree of escaping miners and analyzed the effect of each harmful factor. A model was built to evaluate all factors' influence on escaping miners based on fuzzy comprehensive evaluation approach, and then a dynamic health degree evaluation method of miners escaping from a mine fire was proposed. Fire Dynamics Simulator (FDS) software was used to simulate a simplified mine fire, and escaping miner's health degree was calculated using the method. The rationality of the method was verified by the experiment. Miner's health degree can evaluate miner's physical state in complex disaster environment synthetically, and it provides a quantifiable basis to guide the decision-making of escape path in the underground disasters.

A fuzzy multi-objective software reliability allocation model was established, and bacteria foraging optimization algorithm based on estimation of distribution was proposed to solve software reliability redundancy allocation problem. As the fuzzy target function, software reliability and cost were regarded as triangular fuzzy members, and bacterial foraging algorithm optimization based on Gauss distribution was applied. Different membership function parameters were set up, and different Pareto optimal solutions could be obtained. The experimental results show that the proposed swarm intelligence algorithm can solve multi-objective software reliability allocation effectively and correctly, Pareto optimal solution can help the decision between software reliability and cost.

In this paper, a kind of algorithm for all-zero block detection based on Radial Basis Function (RBF) Neural Network (NN) was proposed to improve the accuracy of all-zero block detection algorithm. By analyzing the H.264 encoder features, six effective features were selected, including Sum of Absolute Difference (SAD), Sum of Absolute Transformed Difference (SATD), block type, Rate Distortion Optimization (RDO) cost, Quantization Parameter (QP) and the situation of reference block. Considering the SATD should be used in the Hadamard Transform (HT), to get the relationship of QP and RBF network width parameter through the least square method, the algorithm used two classifiers to separate all-zero blocks from non-all-zero blocks based on the encoding situation of the reference block. This algorithm could improve coding speed over 50% on average while keeping bit rate and video quality almost unchanged. The experimental results show that the proposed algorithm can improve all-zero block detection accuracy effectively and coding efficiency based on NN.